resolve

function resolve(instances: list<instance>, filter: I_by_attribute, from: p_from): (results: list<instance>, p_from?)